Autobiographical Sketches (2021)

Sketches for Design and Design of Sketches

Design consists of generating ideas and adapting them to users. Cognitive research can give insights into each of these processes. Here, we describe two projects involving sketches. Sketches are cognitive tools; they have many uses, among them: to promote inferences and new ideas; to organize and convey information. For the former, ambiguity is productive; for the latter, clarity is necessary. ...

Autobiographical memory and aging

Autobiographical memory, or memory for personal experiences, allows individuals to define themselves and construct a meaningful life story. Current research aims to review the definition and theories of autobiographies memory and how it usually changes or abnormally in older adults. Base on studies, as we grow older autobiographical memory drops off, also semantic memory changes a little or som...

Autobiographical notes

I was born in Zagreb (Croatia) on October 26, 1936. My parents were Regina (née Pavić) (April17, 1916, Zagreb–March 9, 1992, Zagreb) and Cvjetko Trinajstić (September 9, 1913, Volosko–October 29, 1998, Richmond, Australia).

Finitary Sketches

Finitary sketches, i.e., sketches with nite-limit and nite-colimit specii-cations, are proved to be as strong as geometric sketches, i.e., sketches with nite-limit and arbitrary colimit speciications. Categories sketchable by such sketches are fully characterized in the innnitary rst-order logic: they are axiomatizable by-coherent theories, i.e., basic theories using nite conjunctions, countabl...

Proof Sketches